Analysis of Parallel Systems
نویسنده
چکیده
A formal analysis procedure for hardware and software computer systems is described. A system is described by a flow table model. The concept of an output hazard is introduced to account for effects of unbounded line delays. Necessary and sufficient conditions for the abs@nce of output hazards are given. A system that contains no output hazards is said to operate correctly if the system state graph that describes all system states and state transitions is free from forbidden states and forbidden state sequences. A flow table solution for the two-component mutual exclusion problem is analyzed and shown to be correct.
منابع مشابه
Reliability Analysis of Three Elements Series and Parallel Systems under Time-varying Fuzzy Failure Rate
Reliability is the most important performance issue in the engineering design process but in the real world problems, there are limitations for using the conventional reliability. Fuzzy logic has proved to be effective in expressing uncertainties in different fields, including reliability engineering. In this paper, For both the series and parallel systems composed of three identical or differe...
متن کاملProcess algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملThe Effects of Excitation Control Systems on Parallel Operation of DGs with the Main Grid
This paper presents actual cases of steady reactive power oscillation of Distributed Generations (DGs) during parallel operation with the main grid. The cause of the problem was found to be the adverse effects of excitation system voltage regulation. It is shown, through preliminary investigation and detailed simulation studies, that how the excitation control system can be modified to overcome...
متن کاملComparison between four dissimilar solar panel configurations
Several studies on photovoltaic systems focused on how it operates and energy required in operating it. Little attention is paid on its configurations, modeling of mean time to system failure, availability, cost benefit and comparisons of parallel and series–parallel designs. In this research work, four system configurations were studied. Configuration I consists of two sub-components arranged ...
متن کاملAgeing Orders of Series-Parallel and Parallel-Series Systems with Independent Subsystems Consisting of Dependent Components
In this paper, we consider series-parallel and parallel-series systems with independent subsystems consisting of dependent homogeneous components whose joint lifetimes are modeled by an Archimedean copula. Then, by considering two such systems with different numbers of components within each subsystem, we establish hazard rate and reversed hazard rate orderings between the two system lifetimes,...
متن کاملPreservation of Stochastic Orderings of Interdependent Series and Parallel Systems by Componentwise Switching to Exponentiated Models
This paper discusses the preservation of some stochastic orders between two interdependent series and parallel systems when the survival and distribution functions of all components switch to the exponentiated model. For the series systems, the likelihood ratio, hazard rate, usual, aging faster, aging intensity, convex transform, star, superadditive and dispersive orderings, and for the paralle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Computers
دوره 20 شماره
صفحات -
تاریخ انتشار 1971